Résolution de l'équation $ds^2=dx^2+dy^2+dz^2$

Résolution de problèmes non linéaires avec continuum de solutions

We address the issue of constructing concise inner and outer approximations of the complete solution set for non-linear constraint satisfaction problems (CSPs). Most of the working complete solvers for numerical CSPs are designed to delivering point-wise solutions with an arbitrary accuracy. This works generally well for systems with isolated solutions but less well when there is a continuum of...

Algorithmes pour la résolution de problèmes d'optimisation et de minimax

Un Principe de Résolution en Logique Modale

— The applications of modal logic are connected with programming reasoning and for this reason we are interested in developping theorem proving System for it. A resolution-style theorem proving System for modal logic is presented. The two version of Herbrand property are proved. The completeness of the System is given. Nous présentons dans cet article une formalisation des modalités de re parfa...

La Conception Innovante : synthèse de systèmes ou résolution de problèmes ?

Résumé TRIZ est une méthode de résolution de problèmes inventifs, initialement développée en ex Union Soviétique et qui commence à se diffuser largement. C’est une méthode non formalisée qui utilise des connaissances capitalisées à partir de milliers de brevets, qui synthétisent en quelque sorte, les problèmes abstraits résolus par ces brevets et qui leur associe des solutions abstraites. La mé...

Résolution d'un problème de conception de réseau avec Parallel Solver

Designing a customized communications network requires addressing a wide variety of constraints that depend on the specific context and wishes of the intended client. In this article, we make public a benchmark for the evaluation of algorithms on multiple variations of a network design problem. Our initial experiments reveal that good results can be obtained through the integration of graph alg...